dimap id f (p a a) :: p a b